# the default ffmpeg from debian is WAY too bloated
# there's no point in adding static ffmpeg libs to builds..
case ${DISTRO_BINARY_COMPAT} in
	ubuntu|trisquel|debian|devuan|raspbian)
		find ../ffmpeg_DEV -type f -name '*.a' -delete
		;;
esac
